7.4.2 Properties of Cross product